On-Line Monitoring for Temporal Logic Robustness
نویسندگان
چکیده
In this paper, we provide a Dynamic Programming algorithm for online monitoring of the state robustness of Metric Temporal Logic specifications with past time operators. We compute the robustness of MTL with unbounded past and bounded future temporal operators (MTL<+∞ +pt ) over sampled traces of Cyber-Physical Systems. We implemented our tool in Matlab as a Simulink block that can be used in any Simulink model. We experimentally demonstrate that the overhead of the MTL<+∞ +pt robustness monitoring is acceptable for certain classes of practical specifications.
منابع مشابه
ROBUSTNESS OF THE TRIPLE IMPLICATION INFERENCE METHOD BASED ON THE WEIGHTED LOGIC METRIC
This paper focuses on the robustness problem of full implication triple implication inference method for fuzzy reasoning. First of all, based on strong regular implication, the weighted logic metric for measuring distance between two fuzzy sets is proposed. Besides, under this metric, some robustness results of the triple implication method are obtained, which demonstrates that the triple impli...
متن کاملSIMULATION AND MONITORING OF THE MACHINING PROCESS VIA FUZZY LOGIC AND CUTTING FORCES
On time replacement of a cutting tool with a new one is an important task in Flexible Manufacturing Systems (FMS). A fuzzy logic-based approach was used in the present study to predict and simulate the tool wear progress in turning operation. Cutting parameters and cutting forces were considered as the input and the wear rate was regarded as the output data in the fuzzy logic for construct...
متن کاملOn-line Monitoring of Metric Temporal Logic with Time-Series Constraints Using Alternating Finite Automata
In this paper we describe a technique for monitoring and checking temporal logic assertions augmented with real-time and time-series constraints, or Metric Temporal Logic Series (MTLS). The method is based on Remote Execution and Monitoring (REM) of temporal logic assertions. We describe the syntax and semantics of MTLS and a monitoring technique based on alternating finite automata that is eff...
متن کاملDrought monitoring in Ardabil province by means of SEPI fuzzy index developed based on the fuzzy logic
Drought defined as a climatic phenomenon with the humidity and rainfall shortage as compared with normal conditions. This phenomenon affects on all of aspects of human activities, severely. while, studies associated with this phenomenon on the basis of appropriate methods are very low. In the present study, effort has been made to analyze the drought state in Ardabil province by means of...
متن کاملSpecifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic
We present an extension of the linear time, time-bounded, Signal Temporal Logic to describe spatio-temporal properties. We consider a discrete location/ patch-based representation of space, with a population of interacting agents evolving in each location and with agents migrating from one patch to another one. We provide both a boolean and a quantitative semantics to this logic. We then presen...
متن کامل